node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
link(1,5) :- #0.607.
link(5,1) :- #0.173.
link(1,7) :- #0.514.
link(7,1) :- #0.827.
link(1,9) :- #0.863.
link(9,1) :- #0.757.
link(1,19) :- #0.527.
link(19,1) :- #0.015.
link(1,28) :- #0.564.
link(28,1) :- #0.173.
link(1,29) :- #0.767.
link(29,1) :- #0.241.
link(1,39) :- #0.436.
link(39,1) :- #0.187.
link(1,81) :- #0.843.
link(81,1) :- #0.59.
link(1,88) :- #0.523.
link(88,1) :- #0.94.
link(1,94) :- #0.509.
link(94,1) :- #0.301.
link(1,96) :- #0.981.
link(96,1) :- #0.849.
link(1,103) :- #0.779.
link(103,1) :- #0.847.
link(1,128) :- #0.037.
link(128,1) :- #0.26.
link(1,130) :- #0.956.
link(130,1) :- #0.183.
link(2,21) :- #0.302.
link(21,2) :- #0.499.
link(2,27) :- #0.805.
link(27,2) :- #0.966.
link(2,32) :- #0.768.
link(32,2) :- #0.797.
link(2,50) :- #0.533.
link(50,2) :- #0.848.
link(2,70) :- #0.09.
link(70,2) :- #0.823.
link(2,71) :- #0.563.
link(71,2) :- #0.612.
link(2,79) :- #0.71.
link(79,2) :- #0.983.
link(2,84) :- #0.514.
link(84,2) :- #0.895.
link(2,86) :- #0.103.
link(86,2) :- #0.791.
link(2,88) :- #0.601.
link(88,2) :- #0.985.
link(2,91) :- #0.037.
link(91,2) :- #0.517.
link(2,96) :- #0.884.
link(96,2) :- #0.082.
link(2,108) :- #0.014.
link(108,2) :- #0.318.
link(2,115) :- #0.721.
link(115,2) :- #0.117.
link(2,128) :- #0.622.
link(128,2) :- #0.435.
link(3,5) :- #0.172.
link(5,3) :- #0.461.
link(3,7) :- #0.154.
link(7,3) :- #0.933.
link(3,24) :- #0.398.
link(24,3) :- #0.442.
link(3,29) :- #0.361.
link(29,3) :- #0.456.
link(3,40) :- #0.726.
link(40,3) :- #0.777.
link(3,48) :- #0.476.
link(48,3) :- #0.471.
link(3,50) :- #0.6.
link(50,3) :- #0.535.
link(3,56) :- #0.816.
link(56,3) :- #0.319.
link(3,74) :- #0.138.
link(74,3) :- #0.039.
link(3,82) :- #0.077.
link(82,3) :- #0.801.
link(3,95) :- #0.324.
link(95,3) :- #0.827.
link(3,119) :- #0.561.
link(119,3) :- #0.139.
link(3,122) :- #0.548.
link(122,3) :- #0.929.
link(3,128) :- #0.534.
link(128,3) :- #0.407.
link(4,6) :- #0.363.
link(6,4) :- #0.968.
link(4,10) :- #0.821.
link(10,4) :- #0.355.
link(4,32) :- #0.151.
link(32,4) :- #0.032.
link(4,54) :- #0.112.
link(54,4) :- #0.279.
link(4,58) :- #0.113.
link(58,4) :- #0.492.
link(4,60) :- #0.661.
link(60,4) :- #0.752.
link(4,69) :- #0.511.
link(69,4) :- #0.706.
link(4,71) :- #0.631.
link(71,4) :- #0.891.
link(4,82) :- #0.746.
link(82,4) :- #0.408.
link(4,107) :- #0.031.
link(107,4) :- #0.132.
link(4,120) :- #0.24.
link(120,4) :- #0.768.
link(5,9) :- #0.413.
link(9,5) :- #0.244.
link(5,17) :- #0.672.
link(17,5) :- #0.347.
link(5,22) :- #0.423.
link(22,5) :- #0.672.
link(5,43) :- #0.151.
link(43,5) :- #0.092.
link(5,48) :- #0.271.
link(48,5) :- #0.866.
link(5,57) :- #0.043.
link(57,5) :- #0.931.
link(5,71) :- #0.763.
link(71,5) :- #0.68.
link(5,81) :- #0.293.
link(81,5) :- #0.627.
link(5,89) :- #0.916.
link(89,5) :- #0.392.
link(5,91) :- #0.981.
link(91,5) :- #0.108.
link(5,94) :- #0.443.
link(94,5) :- #0.47.
link(5,100) :- #0.133.
link(100,5) :- #0.303.
link(6,7) :- #0.553.
link(7,6) :- #0.839.
link(6,10) :- #0.325.
link(10,6) :- #0.298.
link(6,11) :- #0.053.
link(11,6) :- #0.316.
link(6,17) :- #0.738.
link(17,6) :- #0.819.
link(6,30) :- #0.65.
link(30,6) :- #0.992.
link(6,39) :- #0.954.
link(39,6) :- #0.326.
link(6,42) :- #0.476.
link(42,6) :- #0.034.
link(6,44) :- #0.016.
link(44,6) :- #0.278.
link(6,61) :- #0.044.
link(61,6) :- #0.346.
link(6,68) :- #0.168.
link(68,6) :- #0.296.
link(6,81) :- #0.49.
link(81,6) :- #0.52.
link(6,86) :- #0.944.
link(86,6) :- #0.242.
link(6,92) :- #0.617.
link(92,6) :- #0.934.
link(6,99) :- #0.166.
link(99,6) :- #0.717.
link(6,101) :- #0.914.
link(101,6) :- #0.725.
link(6,106) :- #0.245.
link(106,6) :- #0.829.
link(6,120) :- #0.741.
link(120,6) :- #0.969.
link(6,128) :- #0.418.
link(128,6) :- #0.491.
link(7,20) :- #0.639.
link(20,7) :- #0.91.
link(7,60) :- #0.162.
link(60,7) :- #0.115.
link(7,70) :- #0.579.
link(70,7) :- #0.644.
link(7,71) :- #0.59.
link(71,7) :- #0.543.
link(7,73) :- #0.602.
link(73,7) :- #0.724.
link(7,74) :- #0.809.
link(74,7) :- #0.245.
link(7,83) :- #0.1.
link(83,7) :- #0.624.
link(7,92) :- #0.745.
link(92,7) :- #0.243.
link(7,94) :- #0.853.
link(94,7) :- #0.57.
link(7,115) :- #0.086.
link(115,7) :- #0.33.
link(7,116) :- #0.389.
link(116,7) :- #0.734.
link(8,11) :- #0.729.
link(11,8) :- #0.044.
link(8,13) :- #0.411.
link(13,8) :- #0.99.
link(8,17) :- #0.29.
link(17,8) :- #0.439.
link(8,57) :- #0.381.
link(57,8) :- #0.093.
link(8,64) :- #0.02.
link(64,8) :- #0.118.
link(8,71) :- #0.52.
link(71,8) :- #0.293.
link(8,101) :- #0.374.
link(101,8) :- #0.714.
link(8,113) :- #0.719.
link(113,8) :- #0.479.
link(8,118) :- #0.807.
link(118,8) :- #0.182.
link(8,121) :- #0.239.
link(121,8) :- #0.471.
link(8,127) :- #0.254.
link(127,8) :- #0.933.
link(9,20) :- #0.783.
link(20,9) :- #0.029.
link(9,23) :- #0.781.
link(23,9) :- #0.085.
link(9,24) :- #0.059.
link(24,9) :- #0.5.
link(9,41) :- #0.708.
link(41,9) :- #0.637.
link(9,53) :- #0.296.
link(53,9) :- #0.461.
link(9,57) :- #0.885.
link(57,9) :- #0.197.
link(9,71) :- #0.378.
link(71,9) :- #0.501.
link(9,89) :- #0.178.
link(89,9) :- #0.268.
link(9,91) :- #0.124.
link(91,9) :- #0.894.
link(9,113) :- #0.304.
link(113,9) :- #0.119.
link(9,124) :- #0.2.
link(124,9) :- #0.89.
link(10,31) :- #0.215.
link(31,10) :- #0.667.
link(10,44) :- #0.011.
link(44,10) :- #0.985.
link(10,51) :- #0.079.
link(51,10) :- #0.722.
link(10,57) :- #0.417.
link(57,10) :- #0.52.
link(11,28) :- #0.401.
link(28,11) :- #0.633.
link(11,44) :- #0.037.
link(44,11) :- #0.562.
link(11,55) :- #0.049.
link(55,11) :- #0.089.
link(11,59) :- #0.359.
link(59,11) :- #0.095.
link(11,91) :- #0.353.
link(91,11) :- #0.207.
link(11,96) :- #0.521.
link(96,11) :- #0.118.
link(11,100) :- #0.246.
link(100,11) :- #0.479.
link(11,101) :- #0.099.
link(101,11) :- #0.545.
link(11,111) :- #0.766.
link(111,11) :- #0.804.
link(11,117) :- #0.939.
link(117,11) :- #0.568.
link(11,118) :- #0.507.
link(118,11) :- #0.064.
link(12,26) :- #0.156.
link(26,12) :- #0.879.
link(12,35) :- #0.571.
link(35,12) :- #0.298.
link(12,62) :- #0.199.
link(62,12) :- #0.437.
link(12,63) :- #0.801.
link(63,12) :- #0.791.
link(12,68) :- #0.826.
link(68,12) :- #0.043.
link(12,73) :- #0.947.
link(73,12) :- #0.688.
link(12,85) :- #0.241.
link(85,12) :- #0.197.
link(12,87) :- #0.709.
link(87,12) :- #0.413.
link(12,88) :- #0.377.
link(88,12) :- #0.659.
link(12,94) :- #0.34.
link(94,12) :- #0.051.
link(12,97) :- #0.546.
link(97,12) :- #0.847.
link(12,118) :- #0.554.
link(118,12) :- #0.42.
link(12,119) :- #0.713.
link(119,12) :- #0.119.
link(13,29) :- #0.642.
link(29,13) :- #0.048.
link(13,57) :- #0.555.
link(57,13) :- #0.921.
link(13,75) :- #0.923.
link(75,13) :- #0.322.
link(13,91) :- #0.93.
link(91,13) :- #0.403.
link(13,96) :- #0.378.
link(96,13) :- #0.377.
link(13,111) :- #0.436.
link(111,13) :- #0.055.
link(13,113) :- #0.703.
link(113,13) :- #0.498.
link(13,114) :- #0.396.
link(114,13) :- #0.178.
link(13,121) :- #0.102.
link(121,13) :- #0.231.
link(13,124) :- #0.875.
link(124,13) :- #0.882.
link(14,24) :- #0.301.
link(24,14) :- #0.628.
link(14,37) :- #0.594.
link(37,14) :- #0.16.
link(14,38) :- #0.161.
link(38,14) :- #0.968.
link(14,56) :- #0.795.
link(56,14) :- #0.556.
link(14,116) :- #0.4.
link(116,14) :- #0.528.
link(14,130) :- #0.991.
link(130,14) :- #0.475.
link(15,30) :- #0.703.
link(30,15) :- #0.95.
link(15,62) :- #0.977.
link(62,15) :- #0.398.
link(15,65) :- #0.509.
link(65,15) :- #0.067.
link(15,67) :- #0.619.
link(67,15) :- #0.786.
link(15,78) :- #0.04.
link(78,15) :- #0.717.
link(15,80) :- #0.589.
link(80,15) :- #0.224.
link(15,81) :- #0.503.
link(81,15) :- #0.737.
link(15,117) :- #0.9.
link(117,15) :- #0.204.
link(16,24) :- #0.51.
link(24,16) :- #0.456.
link(16,46) :- #0.518.
link(46,16) :- #0.728.
link(16,48) :- #0.593.
link(48,16) :- #0.346.
link(16,64) :- #0.465.
link(64,16) :- #0.636.
link(16,66) :- #0.555.
link(66,16) :- #0.026.
link(16,68) :- #0.228.
link(68,16) :- #0.859.
link(16,73) :- #0.437.
link(73,16) :- #0.268.
link(16,86) :- #0.383.
link(86,16) :- #0.046.
link(16,109) :- #0.045.
link(109,16) :- #0.643.
link(16,112) :- #0.587.
link(112,16) :- #0.551.
link(17,35) :- #0.611.
link(35,17) :- #0.646.
link(17,46) :- #0.251.
link(46,17) :- #0.254.
link(17,60) :- #0.778.
link(60,17) :- #0.675.
link(17,64) :- #0.749.
link(64,17) :- #0.281.
link(17,70) :- #0.294.
link(70,17) :- #0.964.
link(17,74) :- #0.07.
link(74,17) :- #0.334.
link(17,78) :- #0.721.
link(78,17) :- #0.929.
link(17,96) :- #0.678.
link(96,17) :- #0.891.
link(17,107) :- #0.8.
link(107,17) :- #0.442.
link(17,127) :- #0.687.
link(127,17) :- #0.359.
link(17,128) :- #0.756.
link(128,17) :- #0.215.
link(18,25) :- #0.397.
link(25,18) :- #0.831.
link(18,29) :- #0.568.
link(29,18) :- #0.763.
link(18,31) :- #0.841.
link(31,18) :- #0.238.
link(18,37) :- #0.639.
link(37,18) :- #0.953.
link(18,49) :- #0.335.
link(49,18) :- #0.462.
link(18,55) :- #0.294.
link(55,18) :- #0.781.
link(18,61) :- #0.567.
link(61,18) :- #0.653.
link(18,63) :- #0.406.
link(63,18) :- #0.063.
link(18,85) :- #0.456.
link(85,18) :- #0.364.
link(18,103) :- #0.176.
link(103,18) :- #0.942.
link(18,113) :- #0.746.
link(113,18) :- #0.644.
link(19,22) :- #0.711.
link(22,19) :- #0.427.
link(19,28) :- #0.957.
link(28,19) :- #0.646.
link(19,29) :- #0.662.
link(29,19) :- #0.37.
link(19,33) :- #0.109.
link(33,19) :- #0.239.
link(19,35) :- #0.419.
link(35,19) :- #0.743.
link(19,40) :- #0.457.
link(40,19) :- #0.086.
link(19,43) :- #0.643.
link(43,19) :- #0.716.
link(19,62) :- #0.902.
link(62,19) :- #0.617.
link(19,63) :- #0.32.
link(63,19) :- #0.694.
link(19,65) :- #0.497.
link(65,19) :- #0.592.
link(19,77) :- #0.792.
link(77,19) :- #0.131.
link(19,82) :- #0.69.
link(82,19) :- #0.682.
link(19,106) :- #0.031.
link(106,19) :- #0.969.
link(19,111) :- #0.12.
link(111,19) :- #0.837.
link(19,121) :- #0.622.
link(121,19) :- #0.963.
link(20,24) :- #0.527.
link(24,20) :- #0.631.
link(20,27) :- #0.957.
link(27,20) :- #0.817.
link(20,61) :- #0.044.
link(61,20) :- #0.145.
link(20,63) :- #0.883.
link(63,20) :- #0.084.
link(20,89) :- #0.791.
link(89,20) :- #0.001.
link(20,93) :- #0.72.
link(93,20) :- #0.506.
link(20,100) :- #0.636.
link(100,20) :- #0.662.
link(20,103) :- #0.12.
link(103,20) :- #0.052.
link(20,114) :- #0.548.
link(114,20) :- #0.962.
link(20,117) :- #0.572.
link(117,20) :- #0.258.
link(20,118) :- #0.527.
link(118,20) :- #0.582.
link(21,46) :- #0.569.
link(46,21) :- #0.693.
link(21,48) :- #0.189.
link(48,21) :- #0.123.
link(21,53) :- #0.178.
link(53,21) :- #0.996.
link(21,58) :- #0.164.
link(58,21) :- #0.77.
link(21,61) :- #0.083.
link(61,21) :- #0.047.
link(21,70) :- #0.457.
link(70,21) :- #0.899.
link(21,72) :- #0.557.
link(72,21) :- #0.472.
link(21,86) :- #0.038.
link(86,21) :- #0.381.
link(21,90) :- #0.442.
link(90,21) :- #0.054.
link(21,96) :- #0.701.
link(96,21) :- #0.596.
link(21,98) :- #0.133.
link(98,21) :- #0.211.
link(21,112) :- #0.654.
link(112,21) :- #0.229.
link(21,116) :- #0.238.
link(116,21) :- #0.789.
link(22,33) :- #0.333.
link(33,22) :- #0.707.
link(22,34) :- #0.612.
link(34,22) :- #0.977.
link(22,49) :- #0.488.
link(49,22) :- #0.489.
link(22,51) :- #0.495.
link(51,22) :- #0.553.
link(22,88) :- #0.038.
link(88,22) :- #0.574.
link(22,100) :- #0.845.
link(100,22) :- #0.396.
link(22,105) :- #0.354.
link(105,22) :- #0.994.
link(22,106) :- #0.331.
link(106,22) :- #0.601.
link(22,121) :- #0.221.
link(121,22) :- #0.47.
link(23,24) :- #0.906.
link(24,23) :- #0.716.
link(23,46) :- #0.614.
link(46,23) :- #0.825.
link(23,57) :- #0.257.
link(57,23) :- #0.874.
link(23,74) :- #0.558.
link(74,23) :- #0.383.
link(23,77) :- #0.382.
link(77,23) :- #0.663.
link(23,97) :- #0.613.
link(97,23) :- #0.115.
link(23,98) :- #0.16.
link(98,23) :- #0.628.
link(23,120) :- #0.277.
link(120,23) :- #0.253.
link(23,125) :- #0.279.
link(125,23) :- #0.779.
link(23,130) :- #0.559.
link(130,23) :- #0.968.
link(24,43) :- #0.63.
link(43,24) :- #0.486.
link(24,45) :- #0.975.
link(45,24) :- #0.189.
link(24,48) :- #0.977.
link(48,24) :- #0.627.
link(24,50) :- #0.856.
link(50,24) :- #0.221.
link(24,54) :- #0.041.
link(54,24) :- #0.064.
link(24,57) :- #0.366.
link(57,24) :- #0.228.
link(24,73) :- #0.419.
link(73,24) :- #0.806.
link(24,77) :- #0.508.
link(77,24) :- #0.275.
link(24,87) :- #0.717.
link(87,24) :- #0.98.
link(24,93) :- #0.327.
link(93,24) :- #0.554.
link(24,110) :- #0.071.
link(110,24) :- #0.71.
link(24,114) :- #0.83.
link(114,24) :- #0.639.
link(24,119) :- #0.612.
link(119,24) :- #0.765.
link(25,27) :- #0.035.
link(27,25) :- #0.668.
link(25,40) :- #0.222.
link(40,25) :- #0.625.
link(25,41) :- #0.137.
link(41,25) :- #0.892.
link(25,45) :- #0.129.
link(45,25) :- #0.903.
link(25,68) :- #0.747.
link(68,25) :- #0.922.
link(25,73) :- #0.87.
link(73,25) :- #0.819.
link(25,92) :- #0.49.
link(92,25) :- #0.724.
link(25,113) :- #0.11.
link(113,25) :- #0.014.
link(26,31) :- #0.036.
link(31,26) :- #0.993.
link(26,32) :- #0.809.
link(32,26) :- #0.956.
link(26,33) :- #0.842.
link(33,26) :- #0.376.
link(26,40) :- #0.58.
link(40,26) :- #0.95.
link(26,53) :- #0.847.
link(53,26) :- #0.316.
link(26,60) :- #0.485.
link(60,26) :- #0.344.
link(26,61) :- #0.139.
link(61,26) :- #0.272.
link(26,72) :- #0.515.
link(72,26) :- #0.426.
link(26,87) :- #0.829.
link(87,26) :- #0.253.
link(26,96) :- #0.885.
link(96,26) :- #0.236.
link(26,119) :- #0.006.
link(119,26) :- #0.914.
link(26,122) :- #0.753.
link(122,26) :- #0.647.
link(26,125) :- #0.755.
link(125,26) :- #0.774.
link(26,128) :- #0.004.
link(128,26) :- #0.641.
link(27,30) :- #0.687.
link(30,27) :- #0.093.
link(27,31) :- #0.217.
link(31,27) :- #0.259.
link(27,39) :- #0.733.
link(39,27) :- #0.721.
link(27,56) :- #0.413.
link(56,27) :- #0.887.
link(27,58) :- #0.777.
link(58,27) :- #0.345.
link(27,67) :- #0.731.
link(67,27) :- #0.915.
link(27,72) :- #0.113.
link(72,27) :- #0.329.
link(27,76) :- #0.07.
link(76,27) :- #0.474.
link(27,105) :- #0.138.
link(105,27) :- #0.107.
link(27,110) :- #0.091.
link(110,27) :- #0.628.
link(27,120) :- #0.658.
link(120,27) :- #0.505.
link(28,29) :- #0.801.
link(29,28) :- #0.597.
link(28,44) :- #0.1.
link(44,28) :- #0.474.
link(28,45) :- #0.5.
link(45,28) :- #0.129.
link(28,55) :- #0.589.
link(55,28) :- #0.542.
link(28,64) :- #0.794.
link(64,28) :- #0.086.
link(28,67) :- #0.666.
link(67,28) :- #0.551.
link(28,81) :- #0.12.
link(81,28) :- #0.387.
link(28,103) :- #0.591.
link(103,28) :- #0.334.
link(28,123) :- #0.066.
link(123,28) :- #0.416.
link(28,126) :- #0.
link(126,28) :- #0.385.
link(28,129) :- #0.3.
link(129,28) :- #0.56.
link(29,52) :- #0.695.
link(52,29) :- #0.896.
link(29,65) :- #0.091.
link(65,29) :- #0.847.
link(29,67) :- #0.905.
link(67,29) :- #0.147.
link(29,74) :- #0.975.
link(74,29) :- #0.658.
link(29,93) :- #0.266.
link(93,29) :- #0.94.
link(30,33) :- #0.677.
link(33,30) :- #0.755.
link(30,46) :- #0.339.
link(46,30) :- #0.743.
link(30,49) :- #0.841.
link(49,30) :- #0.326.
link(30,57) :- #0.967.
link(57,30) :- #0.574.
link(30,65) :- #0.77.
link(65,30) :- #0.669.
link(30,66) :- #0.303.
link(66,30) :- #0.336.
link(30,68) :- #0.186.
link(68,30) :- #0.3.
link(30,80) :- #0.678.
link(80,30) :- #0.678.
link(30,90) :- #0.033.
link(90,30) :- #0.581.
link(30,94) :- #0.547.
link(94,30) :- #0.287.
link(30,95) :- #0.652.
link(95,30) :- #0.229.
link(30,98) :- #0.81.
link(98,30) :- #0.406.
link(30,104) :- #0.959.
link(104,30) :- #0.635.
link(30,106) :- #0.662.
link(106,30) :- #0.909.
link(30,111) :- #0.801.
link(111,30) :- #0.776.
link(30,126) :- #0.392.
link(126,30) :- #0.31.
link(31,34) :- #0.79.
link(34,31) :- #0.396.
link(31,36) :- #0.057.
link(36,31) :- #0.009.
link(31,42) :- #0.082.
link(42,31) :- #0.113.
link(31,59) :- #0.556.
link(59,31) :- #0.029.
link(31,63) :- #0.69.
link(63,31) :- #0.524.
link(31,71) :- #0.22.
link(71,31) :- #0.654.
link(31,73) :- #0.672.
link(73,31) :- #0.216.
link(31,88) :- #0.804.
link(88,31) :- #0.11.
link(31,91) :- #0.484.
link(91,31) :- #0.8.
link(31,97) :- #0.446.
link(97,31) :- #0.724.
link(31,100) :- #0.731.
link(100,31) :- #0.618.
link(31,113) :- #0.53.
link(113,31) :- #0.533.
link(31,125) :- #0.743.
link(125,31) :- #0.181.
link(31,127) :- #0.9.
link(127,31) :- #0.846.
link(31,128) :- #0.783.
link(128,31) :- #0.643.
link(32,33) :- #0.781.
link(33,32) :- #0.689.
link(32,40) :- #0.173.
link(40,32) :- #0.711.
link(32,43) :- #0.499.
link(43,32) :- #0.008.
link(32,51) :- #0.321.
link(51,32) :- #0.451.
link(32,68) :- #0.194.
link(68,32) :- #0.139.
link(32,85) :- #0.065.
link(85,32) :- #0.921.
link(32,101) :- #0.573.
link(101,32) :- #0.696.
link(32,104) :- #0.229.
link(104,32) :- #0.643.
link(32,106) :- #0.366.
link(106,32) :- #0.218.
link(32,107) :- #0.027.
link(107,32) :- #0.565.
link(32,116) :- #0.707.
link(116,32) :- #0.738.
link(33,34) :- #0.276.
link(34,33) :- #0.575.
link(33,53) :- #0.64.
link(53,33) :- #0.687.
link(33,56) :- #0.349.
link(56,33) :- #0.406.
link(33,58) :- #0.463.
link(58,33) :- #0.088.
link(33,68) :- #0.784.
link(68,33) :- #0.969.
link(33,71) :- #0.466.
link(71,33) :- #0.943.
link(33,75) :- #0.112.
link(75,33) :- #0.044.
link(33,111) :- #0.915.
link(111,33) :- #0.69.
link(33,121) :- #0.539.
link(121,33) :- #0.916.
link(33,122) :- #0.012.
link(122,33) :- #0.974.
link(33,130) :- #0.62.
link(130,33) :- #0.69.
link(34,39) :- #0.049.
link(39,34) :- #0.22.
link(34,40) :- #0.156.
link(40,34) :- #0.83.
link(34,42) :- #0.697.
link(42,34) :- #0.163.
link(34,43) :- #0.786.
link(43,34) :- #0.172.
link(34,74) :- #0.132.
link(74,34) :- #0.922.
link(34,79) :- #0.391.
link(79,34) :- #0.494.
link(34,92) :- #0.638.
link(92,34) :- #0.222.
link(35,42) :- #0.881.
link(42,35) :- #0.375.
link(35,60) :- #0.082.
link(60,35) :- #0.988.
link(35,64) :- #0.371.
link(64,35) :- #0.886.
link(35,66) :- #0.821.
link(66,35) :- #0.075.
link(35,69) :- #0.439.
link(69,35) :- #0.825.
link(35,84) :- #0.721.
link(84,35) :- #0.933.
link(35,85) :- #0.287.
link(85,35) :- #0.084.
link(35,96) :- #0.937.
link(96,35) :- #0.215.
link(35,117) :- #0.181.
link(117,35) :- #0.056.
link(35,125) :- #0.572.
link(125,35) :- #0.201.
link(35,129) :- #0.886.
link(129,35) :- #0.181.
link(36,53) :- #0.443.
link(53,36) :- #0.153.
link(36,61) :- #0.53.
link(61,36) :- #0.984.
link(36,62) :- #0.467.
link(62,36) :- #0.784.
link(36,63) :- #0.987.
link(63,36) :- #0.805.
link(36,65) :- #0.383.
link(65,36) :- #0.892.
link(36,68) :- #0.671.
link(68,36) :- #0.523.
link(36,71) :- #0.873.
link(71,36) :- #0.
link(36,77) :- #0.361.
link(77,36) :- #0.539.
link(36,79) :- #0.888.
link(79,36) :- #0.957.
link(36,81) :- #0.12.
link(81,36) :- #0.294.
link(36,90) :- #0.257.
link(90,36) :- #0.696.
link(36,92) :- #0.496.
link(92,36) :- #0.255.
link(36,93) :- #0.101.
link(93,36) :- #0.424.
link(36,98) :- #0.479.
link(98,36) :- #0.38.
link(36,105) :- #0.213.
link(105,36) :- #0.048.
link(36,106) :- #0.213.
link(106,36) :- #0.155.
link(36,109) :- #0.458.
link(109,36) :- #0.551.
link(36,111) :- #0.361.
link(111,36) :- #0.736.
link(36,114) :- #0.373.
link(114,36) :- #0.811.
link(36,122) :- #0.582.
link(122,36) :- #0.067.
link(37,42) :- #0.879.
link(42,37) :- #0.069.
link(37,45) :- #0.495.
link(45,37) :- #0.044.
link(37,62) :- #0.292.
link(62,37) :- #0.363.
link(37,63) :- #0.353.
link(63,37) :- #0.407.
link(37,80) :- #0.461.
link(80,37) :- #0.929.
link(37,120) :- #0.657.
link(120,37) :- #0.503.
link(37,123) :- #0.612.
link(123,37) :- #0.112.
link(38,42) :- #0.898.
link(42,38) :- #0.032.
link(38,45) :- #0.643.
link(45,38) :- #0.328.
link(38,53) :- #0.391.
link(53,38) :- #0.313.
link(38,63) :- #0.811.
link(63,38) :- #0.883.
link(38,64) :- #0.756.
link(64,38) :- #0.127.
link(38,69) :- #0.717.
link(69,38) :- #0.103.
link(38,80) :- #0.441.
link(80,38) :- #0.363.
link(38,81) :- #0.746.
link(81,38) :- #0.718.
link(38,95) :- #0.965.
link(95,38) :- #0.149.
link(38,105) :- #0.718.
link(105,38) :- #0.206.
link(39,45) :- #0.457.
link(45,39) :- #0.934.
link(39,74) :- #0.039.
link(74,39) :- #0.103.
link(39,85) :- #0.748.
link(85,39) :- #0.84.
link(39,88) :- #0.451.
link(88,39) :- #0.786.
link(39,92) :- #0.781.
link(92,39) :- #0.106.
link(39,102) :- #0.044.
link(102,39) :- #0.022.
link(39,112) :- #0.557.
link(112,39) :- #0.243.
link(39,119) :- #0.398.
link(119,39) :- #0.594.
link(40,45) :- #0.096.
link(45,40) :- #0.868.
link(40,62) :- #0.794.
link(62,40) :- #0.396.
link(40,67) :- #0.163.
link(67,40) :- #0.729.
link(40,79) :- #0.751.
link(79,40) :- #0.8.
link(40,83) :- #0.276.
link(83,40) :- #0.873.
link(40,84) :- #0.854.
link(84,40) :- #0.398.
link(40,89) :- #0.226.
link(89,40) :- #0.022.
link(40,94) :- #0.651.
link(94,40) :- #0.064.
link(40,95) :- #0.046.
link(95,40) :- #0.201.
link(40,102) :- #0.43.
link(102,40) :- #0.855.
link(40,118) :- #0.761.
link(118,40) :- #0.322.
link(40,120) :- #0.019.
link(120,40) :- #0.643.
link(40,122) :- #0.944.
link(122,40) :- #0.437.
link(40,130) :- #0.473.
link(130,40) :- #0.455.
link(41,42) :- #0.02.
link(42,41) :- #0.711.
link(41,44) :- #0.989.
link(44,41) :- #0.621.
link(41,52) :- #0.667.
link(52,41) :- #0.883.
link(41,57) :- #0.718.
link(57,41) :- #0.756.
link(41,74) :- #0.552.
link(74,41) :- #0.161.
link(41,109) :- #0.097.
link(109,41) :- #0.867.
link(42,61) :- #0.054.
link(61,42) :- #0.756.
link(42,63) :- #0.812.
link(63,42) :- #0.051.
link(42,67) :- #0.643.
link(67,42) :- #0.633.
link(42,82) :- #0.818.
link(82,42) :- #0.181.
link(42,108) :- #0.88.
link(108,42) :- #0.733.
link(42,118) :- #0.717.
link(118,42) :- #0.996.
link(42,128) :- #0.918.
link(128,42) :- #0.955.
link(42,130) :- #0.973.
link(130,42) :- #0.172.
link(43,62) :- #0.124.
link(62,43) :- #0.365.
link(43,72) :- #0.563.
link(72,43) :- #0.544.
link(43,82) :- #0.576.
link(82,43) :- #0.373.
link(43,83) :- #0.81.
link(83,43) :- #0.826.
link(43,85) :- #0.581.
link(85,43) :- #0.417.
link(43,105) :- #0.001.
link(105,43) :- #0.093.
link(43,129) :- #0.686.
link(129,43) :- #0.972.
link(44,56) :- #0.274.
link(56,44) :- #0.385.
link(44,61) :- #0.525.
link(61,44) :- #0.417.
link(44,63) :- #0.893.
link(63,44) :- #0.01.
link(44,87) :- #0.943.
link(87,44) :- #0.395.
link(44,98) :- #0.109.
link(98,44) :- #0.107.
link(44,99) :- #0.616.
link(99,44) :- #0.322.
link(44,117) :- #0.869.
link(117,44) :- #0.601.
link(44,118) :- #0.538.
link(118,44) :- #0.669.
link(45,55) :- #0.939.
link(55,45) :- #0.728.
link(45,61) :- #0.415.
link(61,45) :- #0.446.
link(45,62) :- #0.877.
link(62,45) :- #0.385.
link(45,84) :- #0.128.
link(84,45) :- #0.25.
link(45,86) :- #0.404.
link(86,45) :- #0.941.
link(45,87) :- #0.657.
link(87,45) :- #0.536.
link(45,90) :- #0.373.
link(90,45) :- #0.046.
link(45,98) :- #0.4.
link(98,45) :- #0.82.
link(45,112) :- #0.774.
link(112,45) :- #0.037.
link(45,117) :- #0.94.
link(117,45) :- #0.16.
link(46,71) :- #0.165.
link(71,46) :- #0.766.
link(46,72) :- #0.415.
link(72,46) :- #0.754.
link(46,75) :- #0.185.
link(75,46) :- #0.884.
link(46,91) :- #0.54.
link(91,46) :- #0.355.
link(46,103) :- #0.312.
link(103,46) :- #0.709.
link(46,104) :- #0.715.
link(104,46) :- #0.648.
link(46,119) :- #0.799.
link(119,46) :- #0.845.
link(46,121) :- #0.93.
link(121,46) :- #0.848.
link(47,76) :- #0.628.
link(76,47) :- #0.341.
link(47,93) :- #0.18.
link(93,47) :- #0.755.
link(47,100) :- #0.733.
link(100,47) :- #0.808.
link(47,107) :- #0.924.
link(107,47) :- #0.025.
link(47,129) :- #0.527.
link(129,47) :- #0.88.
link(47,130) :- #0.745.
link(130,47) :- #0.7.
link(48,51) :- #0.571.
link(51,48) :- #0.483.
link(48,70) :- #0.535.
link(70,48) :- #0.192.
link(48,76) :- #0.96.
link(76,48) :- #0.669.
link(48,95) :- #0.391.
link(95,48) :- #0.374.
link(48,97) :- #0.628.
link(97,48) :- #0.283.
link(48,112) :- #0.331.
link(112,48) :- #0.658.
link(48,115) :- #0.123.
link(115,48) :- #0.41.
link(48,117) :- #0.274.
link(117,48) :- #0.488.
link(49,51) :- #0.903.
link(51,49) :- #0.617.
link(49,57) :- #0.502.
link(57,49) :- #0.573.
link(49,66) :- #0.493.
link(66,49) :- #0.281.
link(49,67) :- #0.442.
link(67,49) :- #0.858.
link(49,69) :- #0.849.
link(69,49) :- #0.18.
link(49,71) :- #0.908.
link(71,49) :- #0.498.
link(49,89) :- #0.483.
link(89,49) :- #0.666.
link(49,93) :- #0.392.
link(93,49) :- #0.142.
link(49,103) :- #0.658.
link(103,49) :- #0.87.
link(49,106) :- #0.072.
link(106,49) :- #0.172.
link(49,121) :- #0.681.
link(121,49) :- #0.833.
link(49,122) :- #0.594.
link(122,49) :- #0.403.
link(49,128) :- #0.747.
link(128,49) :- #0.297.
link(50,53) :- #0.5.
link(53,50) :- #0.007.
link(50,82) :- #0.18.
link(82,50) :- #0.244.
link(51,52) :- #0.223.
link(52,51) :- #0.569.
link(51,58) :- #0.544.
link(58,51) :- #0.455.
link(51,59) :- #0.679.
link(59,51) :- #0.449.
link(51,88) :- #0.03.
link(88,51) :- #0.268.
link(51,100) :- #0.537.
link(100,51) :- #0.597.
link(51,110) :- #0.453.
link(110,51) :- #0.029.
link(51,123) :- #0.847.
link(123,51) :- #0.428.
link(51,124) :- #0.155.
link(124,51) :- #0.024.
link(51,126) :- #0.76.
link(126,51) :- #0.892.
link(51,130) :- #0.089.
link(130,51) :- #0.962.
link(52,60) :- #0.923.
link(60,52) :- #0.792.
link(52,81) :- #0.432.
link(81,52) :- #0.729.
link(52,86) :- #0.843.
link(86,52) :- #0.347.
link(52,93) :- #0.52.
link(93,52) :- #0.383.
link(52,103) :- #0.01.
link(103,52) :- #0.797.
link(53,54) :- #0.772.
link(54,53) :- #0.423.
link(53,57) :- #0.195.
link(57,53) :- #0.154.
link(53,79) :- #0.209.
link(79,53) :- #0.723.
link(53,85) :- #0.526.
link(85,53) :- #0.427.
link(53,102) :- #0.159.
link(102,53) :- #0.179.
link(53,109) :- #0.332.
link(109,53) :- #0.43.
link(53,110) :- #0.849.
link(110,53) :- #0.854.
link(53,116) :- #0.337.
link(116,53) :- #0.577.
link(53,118) :- #0.621.
link(118,53) :- #0.944.
link(54,55) :- #0.388.
link(55,54) :- #0.553.
link(54,56) :- #0.06.
link(56,54) :- #0.405.
link(54,75) :- #0.212.
link(75,54) :- #0.892.
link(54,77) :- #0.992.
link(77,54) :- #0.964.
link(54,89) :- #0.623.
link(89,54) :- #0.037.
link(54,93) :- #0.191.
link(93,54) :- #0.965.
link(54,110) :- #0.567.
link(110,54) :- #0.365.
link(55,63) :- #0.165.
link(63,55) :- #0.363.
link(55,68) :- #0.373.
link(68,55) :- #0.709.
link(55,72) :- #0.094.
link(72,55) :- #0.753.
link(55,75) :- #0.733.
link(75,55) :- #0.643.
link(55,77) :- #0.238.
link(77,55) :- #0.777.
link(55,86) :- #0.377.
link(86,55) :- #0.945.
link(55,87) :- #0.799.
link(87,55) :- #0.494.
link(55,91) :- #0.896.
link(91,55) :- #0.349.
link(55,93) :- #0.613.
link(93,55) :- #0.16.
link(55,107) :- #0.043.
link(107,55) :- #0.709.
link(55,112) :- #0.489.
link(112,55) :- #0.623.
link(55,118) :- #0.5.
link(118,55) :- #0.613.
link(55,129) :- #0.609.
link(129,55) :- #0.762.
link(56,57) :- #0.022.
link(57,56) :- #0.196.
link(56,60) :- #0.
link(60,56) :- #0.682.
link(56,68) :- #0.087.
link(68,56) :- #0.482.
link(56,91) :- #0.624.
link(91,56) :- #0.035.
link(56,102) :- #0.406.
link(102,56) :- #0.949.
link(56,104) :- #0.391.
link(104,56) :- #0.742.
link(56,111) :- #0.508.
link(111,56) :- #0.781.
link(56,130) :- #0.212.
link(130,56) :- #0.715.
link(57,63) :- #0.958.
link(63,57) :- #0.408.
link(57,65) :- #0.765.
link(65,57) :- #0.946.
link(57,79) :- #0.959.
link(79,57) :- #0.538.
link(57,86) :- #0.701.
link(86,57) :- #0.602.
link(57,105) :- #0.067.
link(105,57) :- #0.013.
link(57,120) :- #0.63.
link(120,57) :- #0.832.
link(58,62) :- #0.532.
link(62,58) :- #0.083.
link(58,63) :- #0.133.
link(63,58) :- #0.623.
link(58,65) :- #0.528.
link(65,58) :- #0.102.
link(58,66) :- #0.563.
link(66,58) :- #0.898.
link(58,73) :- #0.839.
link(73,58) :- #0.503.
link(58,82) :- #0.395.
link(82,58) :- #0.631.
link(58,111) :- #0.814.
link(111,58) :- #0.101.
link(58,116) :- #0.848.
link(116,58) :- #0.021.
link(58,127) :- #0.789.
link(127,58) :- #0.211.
link(58,128) :- #0.35.
link(128,58) :- #0.988.
link(59,62) :- #0.264.
link(62,59) :- #0.667.
link(59,64) :- #0.05.
link(64,59) :- #0.686.
link(59,66) :- #0.797.
link(66,59) :- #0.
link(59,100) :- #0.686.
link(100,59) :- #0.403.
link(59,101) :- #0.466.
link(101,59) :- #0.756.
link(59,113) :- #0.203.
link(113,59) :- #0.696.
link(59,120) :- #0.524.
link(120,59) :- #0.137.
link(60,64) :- #0.978.
link(64,60) :- #0.688.
link(60,67) :- #0.186.
link(67,60) :- #0.849.
link(60,70) :- #0.4.
link(70,60) :- #0.961.
link(60,72) :- #0.765.
link(72,60) :- #0.672.
link(60,86) :- #0.139.
link(86,60) :- #0.053.
link(60,97) :- #0.377.
link(97,60) :- #0.896.
link(60,99) :- #0.091.
link(99,60) :- #0.211.
link(60,112) :- #0.24.
link(112,60) :- #0.415.
link(60,113) :- #0.06.
link(113,60) :- #0.323.
link(60,120) :- #0.166.
link(120,60) :- #0.894.
link(60,121) :- #0.329.
link(121,60) :- #0.992.
link(61,71) :- #0.858.
link(71,61) :- #0.728.
link(61,86) :- #0.712.
link(86,61) :- #0.983.
link(61,103) :- #0.229.
link(103,61) :- #0.403.
link(61,104) :- #0.539.
link(104,61) :- #0.106.
link(61,124) :- #0.504.
link(124,61) :- #0.577.
link(62,70) :- #0.42.
link(70,62) :- #0.283.
link(62,71) :- #0.629.
link(71,62) :- #0.708.
link(62,82) :- #0.101.
link(82,62) :- #0.719.
link(62,93) :- #0.479.
link(93,62) :- #0.091.
link(62,100) :- #0.328.
link(100,62) :- #0.705.
link(62,108) :- #0.021.
link(108,62) :- #0.778.
link(62,123) :- #0.221.
link(123,62) :- #0.752.
link(62,127) :- #0.563.
link(127,62) :- #0.203.
link(63,69) :- #0.29.
link(69,63) :- #0.009.
link(63,83) :- #0.113.
link(83,63) :- #0.686.
link(63,89) :- #0.083.
link(89,63) :- #0.777.
link(63,94) :- #0.047.
link(94,63) :- #0.835.
link(63,96) :- #0.566.
link(96,63) :- #0.693.
link(63,99) :- #0.394.
link(99,63) :- #0.604.
link(63,105) :- #0.25.
link(105,63) :- #0.583.
link(64,66) :- #0.207.
link(66,64) :- #0.462.
link(64,71) :- #0.722.
link(71,64) :- #0.162.
link(64,72) :- #0.458.
link(72,64) :- #0.077.
link(64,78) :- #0.639.
link(78,64) :- #0.784.
link(64,91) :- #0.431.
link(91,64) :- #0.853.
link(64,95) :- #0.095.
link(95,64) :- #0.117.
link(64,98) :- #0.683.
link(98,64) :- #0.839.
link(64,100) :- #0.181.
link(100,64) :- #0.313.
link(64,112) :- #0.599.
link(112,64) :- #0.208.
link(64,116) :- #0.007.
link(116,64) :- #0.678.
link(65,109) :- #0.635.
link(109,65) :- #0.006.
link(66,71) :- #0.417.
link(71,66) :- #0.417.
link(66,85) :- #0.411.
link(85,66) :- #0.955.
link(66,103) :- #0.702.
link(103,66) :- #0.528.
link(66,104) :- #0.346.
link(104,66) :- #0.174.
link(66,107) :- #0.914.
link(107,66) :- #0.821.
link(66,109) :- #0.019.
link(109,66) :- #0.936.
link(66,115) :- #0.595.
link(115,66) :- #0.937.
link(66,117) :- #0.498.
link(117,66) :- #0.547.
link(66,122) :- #0.33.
link(122,66) :- #0.062.
link(67,84) :- #0.759.
link(84,67) :- #0.826.
link(67,89) :- #0.042.
link(89,67) :- #0.872.
link(67,91) :- #0.666.
link(91,67) :- #0.975.
link(67,94) :- #0.388.
link(94,67) :- #0.583.
link(67,106) :- #0.738.
link(106,67) :- #0.167.
link(67,109) :- #0.261.
link(109,67) :- #0.51.
link(67,110) :- #0.966.
link(110,67) :- #0.47.
link(67,113) :- #0.781.
link(113,67) :- #0.09.
link(67,129) :- #0.77.
link(129,67) :- #0.546.
link(67,130) :- #0.461.
link(130,67) :- #0.403.
link(68,70) :- #0.858.
link(70,68) :- #0.552.
link(68,80) :- #0.286.
link(80,68) :- #0.848.
link(68,85) :- #0.47.
link(85,68) :- #0.087.
link(68,98) :- #0.488.
link(98,68) :- #0.205.
link(68,99) :- #0.41.
link(99,68) :- #0.54.
link(68,106) :- #0.934.
link(106,68) :- #0.02.
link(68,115) :- #0.313.
link(115,68) :- #0.606.
link(68,117) :- #0.507.
link(117,68) :- #0.36.
link(69,70) :- #0.992.
link(70,69) :- #0.767.
link(69,74) :- #0.138.
link(74,69) :- #0.933.
link(69,80) :- #0.121.
link(80,69) :- #0.49.
link(69,85) :- #0.329.
link(85,69) :- #0.398.
link(69,86) :- #0.273.
link(86,69) :- #0.492.
link(69,98) :- #0.081.
link(98,69) :- #0.119.
link(69,111) :- #0.76.
link(111,69) :- #0.611.
link(69,113) :- #0.004.
link(113,69) :- #0.502.
link(69,118) :- #0.366.
link(118,69) :- #0.229.
link(70,79) :- #0.522.
link(79,70) :- #0.324.
link(70,94) :- #0.777.
link(94,70) :- #0.352.
link(70,95) :- #0.211.
link(95,70) :- #0.857.
link(70,110) :- #0.168.
link(110,70) :- #0.071.
link(70,116) :- #0.403.
link(116,70) :- #0.224.
link(70,118) :- #0.346.
link(118,70) :- #0.124.
link(70,126) :- #0.783.
link(126,70) :- #0.841.
link(71,74) :- #0.227.
link(74,71) :- #0.582.
link(71,104) :- #0.28.
link(104,71) :- #0.471.
link(71,105) :- #0.153.
link(105,71) :- #0.611.
link(72,78) :- #0.443.
link(78,72) :- #0.54.
link(72,88) :- #0.006.
link(88,72) :- #0.763.
link(72,96) :- #0.684.
link(96,72) :- #0.812.
link(72,103) :- #0.81.
link(103,72) :- #0.321.
link(72,108) :- #0.451.
link(108,72) :- #0.187.
link(72,117) :- #0.985.
link(117,72) :- #0.646.
link(72,120) :- #0.924.
link(120,72) :- #0.463.
link(72,122) :- #0.946.
link(122,72) :- #0.942.
link(72,124) :- #0.394.
link(124,72) :- #0.089.
link(72,127) :- #0.898.
link(127,72) :- #0.086.
link(72,130) :- #0.769.
link(130,72) :- #0.618.
link(73,74) :- #0.396.
link(74,73) :- #0.418.
link(73,78) :- #0.799.
link(78,73) :- #0.328.
link(73,113) :- #0.309.
link(113,73) :- #0.398.
link(73,124) :- #0.66.
link(124,73) :- #0.962.
link(73,127) :- #0.81.
link(127,73) :- #0.628.
link(73,128) :- #0.599.
link(128,73) :- #0.985.
link(74,86) :- #0.858.
link(86,74) :- #0.589.
link(74,98) :- #0.823.
link(98,74) :- #0.314.
link(74,103) :- #0.54.
link(103,74) :- #0.052.
link(74,106) :- #0.723.
link(106,74) :- #0.975.
link(75,86) :- #0.762.
link(86,75) :- #0.072.
link(75,92) :- #0.707.
link(92,75) :- #0.086.
link(75,95) :- #0.91.
link(95,75) :- #0.813.
link(75,113) :- #0.269.
link(113,75) :- #0.599.
link(75,114) :- #0.585.
link(114,75) :- #0.913.
link(76,80) :- #0.687.
link(80,76) :- #0.063.
link(76,82) :- #0.832.
link(82,76) :- #0.059.
link(76,87) :- #0.756.
link(87,76) :- #0.784.
link(76,103) :- #0.854.
link(103,76) :- #0.852.
link(76,107) :- #0.833.
link(107,76) :- #0.131.
link(76,112) :- #0.248.
link(112,76) :- #0.724.
link(76,113) :- #0.947.
link(113,76) :- #0.605.
link(76,125) :- #0.834.
link(125,76) :- #0.571.
link(76,129) :- #0.89.
link(129,76) :- #0.955.
link(76,130) :- #0.085.
link(130,76) :- #0.337.
link(77,78) :- #0.597.
link(78,77) :- #0.085.
link(77,86) :- #0.67.
link(86,77) :- #0.945.
link(77,90) :- #0.285.
link(90,77) :- #0.301.
link(77,97) :- #0.236.
link(97,77) :- #0.669.
link(77,104) :- #0.295.
link(104,77) :- #0.473.
link(77,112) :- #0.14.
link(112,77) :- #0.3.
link(77,114) :- #0.109.
link(114,77) :- #0.631.
link(77,124) :- #0.581.
link(124,77) :- #0.744.
link(78,89) :- #0.22.
link(89,78) :- #0.14.
link(78,93) :- #0.459.
link(93,78) :- #0.008.
link(78,94) :- #0.544.
link(94,78) :- #0.853.
link(78,126) :- #0.213.
link(126,78) :- #0.877.
link(79,80) :- #0.263.
link(80,79) :- #0.025.
link(79,83) :- #0.94.
link(83,79) :- #0.133.
link(79,98) :- #0.128.
link(98,79) :- #0.613.
link(79,100) :- #0.848.
link(100,79) :- #0.217.
link(79,113) :- #0.463.
link(113,79) :- #0.047.
link(79,116) :- #0.835.
link(116,79) :- #0.197.
link(79,117) :- #0.573.
link(117,79) :- #0.317.
link(80,88) :- #0.865.
link(88,80) :- #0.502.
link(80,89) :- #0.106.
link(89,80) :- #0.268.
link(80,93) :- #0.326.
link(93,80) :- #0.558.
link(80,94) :- #0.611.
link(94,80) :- #0.147.
link(80,104) :- #0.528.
link(104,80) :- #0.548.
link(80,121) :- #0.172.
link(121,80) :- #0.624.
link(80,127) :- #0.484.
link(127,80) :- #0.351.
link(81,115) :- #0.484.
link(115,81) :- #0.709.
link(82,92) :- #0.753.
link(92,82) :- #0.351.
link(82,95) :- #0.01.
link(95,82) :- #0.982.
link(82,97) :- #0.983.
link(97,82) :- #0.4.
link(82,103) :- #0.215.
link(103,82) :- #0.568.
link(82,120) :- #0.179.
link(120,82) :- #0.517.
link(82,127) :- #0.293.
link(127,82) :- #0.878.
link(83,84) :- #0.508.
link(84,83) :- #0.039.
link(83,88) :- #0.812.
link(88,83) :- #0.879.
link(83,103) :- #0.415.
link(103,83) :- #0.159.
link(83,108) :- #0.297.
link(108,83) :- #0.782.
link(84,109) :- #0.056.
link(109,84) :- #0.299.
link(84,125) :- #0.866.
link(125,84) :- #0.493.
link(85,89) :- #0.095.
link(89,85) :- #0.326.
link(85,95) :- #0.514.
link(95,85) :- #0.908.
link(85,101) :- #0.83.
link(101,85) :- #0.504.
link(85,122) :- #0.806.
link(122,85) :- #0.43.
link(85,128) :- #0.731.
link(128,85) :- #0.474.
link(86,87) :- #0.465.
link(87,86) :- #0.631.
link(86,101) :- #0.983.
link(101,86) :- #0.92.
link(86,102) :- #0.242.
link(102,86) :- #0.368.
link(86,109) :- #0.471.
link(109,86) :- #0.513.
link(86,116) :- #0.311.
link(116,86) :- #0.327.
link(86,121) :- #0.268.
link(121,86) :- #0.73.
link(87,113) :- #0.416.
link(113,87) :- #0.838.
link(87,116) :- #0.532.
link(116,87) :- #0.459.
link(87,121) :- #0.535.
link(121,87) :- #0.02.
link(87,128) :- #0.548.
link(128,87) :- #0.268.
link(88,93) :- #0.753.
link(93,88) :- #0.156.
link(88,119) :- #0.493.
link(119,88) :- #0.793.
link(88,120) :- #0.536.
link(120,88) :- #0.574.
link(88,125) :- #0.203.
link(125,88) :- #0.163.
link(88,127) :- #0.919.
link(127,88) :- #0.716.
link(89,103) :- #0.635.
link(103,89) :- #0.204.
link(89,104) :- #0.449.
link(104,89) :- #0.294.
link(89,112) :- #0.696.
link(112,89) :- #0.739.
link(89,125) :- #0.589.
link(125,89) :- #0.198.
link(89,128) :- #0.196.
link(128,89) :- #0.529.
link(90,98) :- #0.877.
link(98,90) :- #0.685.
link(90,101) :- #0.968.
link(101,90) :- #0.812.
link(90,103) :- #0.33.
link(103,90) :- #0.35.
link(90,117) :- #0.785.
link(117,90) :- #0.33.
link(90,120) :- #0.514.
link(120,90) :- #0.845.
link(91,110) :- #0.846.
link(110,91) :- #0.783.
link(91,114) :- #0.618.
link(114,91) :- #0.54.
link(91,121) :- #0.153.
link(121,91) :- #0.749.
link(91,125) :- #0.836.
link(125,91) :- #0.396.
link(92,121) :- #0.362.
link(121,92) :- #0.76.
link(93,99) :- #0.05.
link(99,93) :- #0.939.
link(93,104) :- #0.192.
link(104,93) :- #0.978.
link(93,111) :- #0.12.
link(111,93) :- #0.143.
link(93,118) :- #0.759.
link(118,93) :- #0.316.
link(93,121) :- #0.195.
link(121,93) :- #0.251.
link(93,122) :- #0.354.
link(122,93) :- #0.931.
link(93,130) :- #0.069.
link(130,93) :- #0.66.
link(94,96) :- #0.922.
link(96,94) :- #0.32.
link(94,102) :- #0.415.
link(102,94) :- #0.196.
link(94,106) :- #0.625.
link(106,94) :- #0.489.
link(94,109) :- #0.229.
link(109,94) :- #0.827.
link(94,122) :- #0.201.
link(122,94) :- #0.256.
link(94,124) :- #0.179.
link(124,94) :- #0.526.
link(94,126) :- #0.827.
link(126,94) :- #0.97.
link(95,96) :- #0.199.
link(96,95) :- #0.932.
link(95,102) :- #0.864.
link(102,95) :- #0.347.
link(95,111) :- #0.07.
link(111,95) :- #0.212.
link(97,103) :- #0.284.
link(103,97) :- #0.341.
link(97,104) :- #0.361.
link(104,97) :- #0.333.
link(97,111) :- #0.938.
link(111,97) :- #0.796.
link(98,108) :- #0.715.
link(108,98) :- #0.604.
link(98,116) :- #0.856.
link(116,98) :- #0.037.
link(98,125) :- #0.483.
link(125,98) :- #0.82.
link(98,126) :- #0.821.
link(126,98) :- #0.463.
link(99,117) :- #0.351.
link(117,99) :- #0.746.
link(99,122) :- #0.881.
link(122,99) :- #0.159.
link(99,130) :- #0.088.
link(130,99) :- #0.777.
link(100,107) :- #0.822.
link(107,100) :- #0.33.
link(100,121) :- #0.57.
link(121,100) :- #0.786.
link(100,122) :- #0.87.
link(122,100) :- #0.26.
link(100,129) :- #0.929.
link(129,100) :- #0.942.
link(101,118) :- #0.786.
link(118,101) :- #0.196.
link(102,119) :- #0.096.
link(119,102) :- #0.357.
link(103,117) :- #0.663.
link(117,103) :- #0.871.
link(104,119) :- #0.243.
link(119,104) :- #0.07.
link(104,127) :- #0.997.
link(127,104) :- #0.119.
link(105,118) :- #0.085.
link(118,105) :- #0.097.
link(105,121) :- #0.329.
link(121,105) :- #0.432.
link(105,126) :- #0.731.
link(126,105) :- #0.102.
link(106,108) :- #0.895.
link(108,106) :- #0.28.
link(106,111) :- #0.559.
link(111,106) :- #0.033.
link(107,110) :- #0.315.
link(110,107) :- #0.315.
link(107,114) :- #0.36.
link(114,107) :- #0.481.
link(107,121) :- #0.484.
link(121,107) :- #0.103.
link(107,126) :- #0.037.
link(126,107) :- #0.355.
link(107,129) :- #0.199.
link(129,107) :- #0.163.
link(108,110) :- #0.146.
link(110,108) :- #0.115.
link(109,115) :- #0.947.
link(115,109) :- #0.636.
link(110,123) :- #0.36.
link(123,110) :- #0.23.
link(110,126) :- #0.963.
link(126,110) :- #0.878.
link(111,113) :- #0.072.
link(113,111) :- #0.126.
link(111,126) :- #0.674.
link(126,111) :- #0.484.
link(113,114) :- #0.968.
link(114,113) :- #0.717.
link(113,128) :- #0.846.
link(128,113) :- #0.201.
link(114,115) :- #0.152.
link(115,114) :- #0.89.
link(115,121) :- #0.813.
link(121,115) :- #0.769.
link(115,123) :- #0.639.
link(123,115) :- #0.474.
link(115,128) :- #0.725.
link(128,115) :- #0.968.
link(117,130) :- #0.446.
link(130,117) :- #0.113.
link(118,121) :- #0.498.
link(121,118) :- #0.948.
link(122,129) :- #0.773.
link(129,122) :- #0.949.
link(123,124) :- #0.421.
link(124,123) :- #0.83.
link(123,125) :- #0.532.
link(125,123) :- #0.618.
link(124,126) :- #0.111.
link(126,124) :- #0.6.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
